ITMath Anwendung: Additive Restklassengruppe